Composition of Model-based Test Coverage Criteria
نویسندگان
چکیده
In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling flexible integration of various test generators and unified treatment of test coverage criteria.
منابع مشابه
A Test Framework based on CPN Model for Functional Testing of Web Service Composition
Web service composition is a mature and effective way to realize the rapidly changing requirements of business in service-oriented solutions. Testing the compositions of web services is complex, due to their distributed nature and asynchronous behaviour. Control flow testing focuses on the transfer of control, while data flow testing focuses on the definitions of data and their subsequent use. ...
متن کاملModel-Based Boundary Coverage Criteria for Logic Expressions
Boundary is especially fault-prone to system. Aim at the model-based logic coverage criteria with little regard to the boundary, this paper proposes a series of model-based logical boundary coverage criteria. These criteria are used to generate test cases automatically. Results show that test cases satisfying these criteria can detect more errors than original logic coverage criteria. They not ...
متن کاملCoverage Criteria for Logical Specifications
Model-based testing (MBT) studies how to generate test cases from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as the Z notation) it may be mor...
متن کاملAutomated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques
UML State Chart Diagrams are the basic models used to derive test paths from intermediate graphs generated automatically using graph coverage techniques in addition to the tool support provided by MBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage, Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till t...
متن کاملAutomatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest
This thesis presents a tool-supported approach which enables the automatic test case generation from UML models and allows evaluating the fault detection potential of the generated test cases. The test case generation method supports both the model-based component and the integration testing phase. The considered coverage criteria include established coverage criteria for component testing as w...
متن کامل